this.actor.connect('button-release-event', Lang.bind(this, this._onButtonRelease));
this.actor.connect('scroll-event', Lang.bind(this, this._onScrollEvent));
+ Main.overview.connect('showing',
+ Lang.bind(this, this._createThumbnails));
+ Main.overview.connect('hidden',
+ Lang.bind(this, this._destroyThumbnails));
+
Main.overview.connect('item-drag-begin',
Lang.bind(this, this._onDragBegin));
Main.overview.connect('item-drag-end',
}
},
- show: function() {
+ _createThumbnails: function() {
this._switchWorkspaceNotifyId =
global.window_manager.connect('switch-workspace',
Lang.bind(this, this._activeWorkspaceChanged));
this._updateSwitcherVisibility();
},
- hide: function() {
+ _destroyThumbnails: function() {
if (this._switchWorkspaceNotifyId > 0) {
global.window_manager.disconnect(this._switchWorkspaceNotifyId);
this._switchWorkspaceNotifyId = 0;
this._updateZoom();
this._controls.show();
- this._thumbnailsBox.show();
this._updateWorkspacesViews();
hide: function() {
this._controls.hide();
- this._thumbnailsBox.hide();
if (!this._alwaysZoomOut)
this.zoomFraction = 0;